" Wolfram Schulte" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Model-Based Software Testing and Analysis with C#

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

Категория: Компьютеры, Программирование, Языки программирования

1.92 Mb

#2

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)

Jim Davies, Wolfram Schulte, Mike Barnett

Категория: Компьютеры

14.41 Mb

#3

FM 2011 Formal Methods (Lecture Notes in Computer Science, 6664)

Michael Butler, Wolfram Schulte

4.95 Mb

#4

FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings

Michael Butler; Wolfram Schulte

Категория: Cs_Computer science, CsLn_Lecture notes

5.38 Mb

#5

Model-Based Software Testing and Analysis with C#

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

2.99 Mb

#6

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Jim Davies, Wolfram Schulte, Mike Barnett

6.34 Mb